#include<stdio.h>



//int main()
//{
//    int n = 0;
//    scanf("%d", &n);
//    if (n <= 12)
//        printf("%d\n", 2);
//    else
//    {
//        if (n % 12 == 0)
//            printf("%d\n", n / 12 * 4 - 2);
//        else
//            printf("%d\n", n / 12 * 4 + 2);
//    }
//    return 0;
//}

//int main()
//{
//    int h = 0;
//    int minute = 0;
//    int m = 0;
//    scanf("%d:%d %d", &h, &minute, &m);
//    printf("%#02d:%#02d\n", (h + (m + minute) / 60) % 24, (m + minute) % 60);
//    return 0;
//}

//int main()
//{
//    double pi = 3.14;
//    int r = 0;
//    scanf("%d", &r);
//    printf("%lf\n", 4.0 / 3 * pi * r * r * r);
//    return 0;
//}